跳到主要内容

第一节 函数

函数的定义

A,BA, B 是两个集合, 如果对于 AA 中的每一个元素, BB 中有唯一确定的元素与之对应, 则记上述过程为 ff, 是一个从集合 AABB 的一个映射, 记作

f:ABf: A \rightarrow B

函数是一种从实数集到实数集的映射.

DDRR 是两个实数集合. 如果有一个映射 ff, 对每一个 DD 中的实数(常用 xx 表示), 在 RR 中总有唯一确定的实数(常用 yy 表示)与 xx 相对应, 则这个映射 ff 称为定义在 DD 上的一个函数.

xx 为函数的自变量, y=f(x)y=f(x) 为函数的因变量或函数值.

DD 称为该函数的定义域, 集合 f(D)={yy=f(x),xD}f(D) = \{y \mid y=f(x), x \in D\} 称为函数的值域 (f(D)Rf(D) \subseteq \mathbb{R}).

基本初等函数

基本初等函数主要分为以下六类:常值函数、幂函数、指数函数、对数函数、三角函数、反三角函数. 熟练掌握其定义域、值域、图形特征及性质是微积分运算的基础.

函数类别函数形式定义域DD与值域RR图像特性与运算法则
常值函数y=Cy=CD:(,+)D: (-\infty, +\infty)
R:{C}R: \{C\}
图像为一条平行于 xx 轴的水平直线
幂函数y=xαy=x^{\alpha}α\alpha 取值而定α>0\alpha>0 时过原点且递增;
α<0\alpha<0 时递减。
xaxb=xa+b;(xa)b=xabx^a \cdot x^b = x^{a+b}; \quad (x^a)^b = x^{ab}
指数函数y=axy=a^{x}
(a>0,a1)(a>0, a \neq 1)
常用 ex\mathrm{e}^{x}
D:(,+)D: (-\infty, +\infty)
R:(0,+)R: (0, +\infty)
恒过 (0,1)(0,1)
a>1a>1 递增, 0<a<10<a<1 递减
eaeb=ea+b\mathrm{e}^{a} \cdot \mathrm{e}^{b} = \mathrm{e}^{a+b}
eaeb=eab\frac{\mathrm{e}^{a}}{\mathrm{e}^{b}} = \mathrm{e}^{a-b}
(ea)b=eab(\mathrm{e}^{a})^{b} = \mathrm{e}^{a b}
对数函数y=logaxy=\log_{a} x
(a>0,a1)(a>0, a \neq 1)
常用 lnx\ln x
D:(0,+)D: (0, +\infty)
R:(,+)R: (-\infty, +\infty)
恒过 (1,0)(1,0)
ln(ab)=lna+lnb\ln(ab) = \ln a + \ln b
ln(ab)=lnalnb\ln\left(\frac{a}{b}\right) = \ln a - \ln b,
lnxa=alnx\ln x^a = a \ln x
logax=lnxlna\log_a x=\frac{\ln x}{\ln a}
elnx=ln(ex)=x\mathrm{e}^{\ln x} = \ln (\mathrm{e}^x)=x
三角函数见下文见下文见下文
反三角函数见下文见下文见下文

求函数 f(x)=x+1ln(2x)f(x)=\frac{\sqrt{x+1}}{\ln(2-x)} 的定义域.

提示

分式的分母不为零, 偶次根式的被开方数非负, 对数函数的真数大于零.

答案

[1,1)(1,2)[-1, 1) \cup (1, 2)

详解

【解】 要使函数有意义, 需满足:

{x+10,2x>0,ln(2x)0.\begin{cases} & x+1 \geqslant 0, \\ & 2-x > 0, \\ & \ln(2-x) \neq 0. \end{cases}

解得:

{x1,x<2,2x1x1.\begin{cases} & x \geqslant -1, \\ & x < 2, \\ & 2-x \neq 1 \Rightarrow x \neq 1. \end{cases}

综上, 定义域为 [1,1)(1,2)[-1, 1) \cup (1, 2).

求函数 f(x)=3xln(x1)f(x) = \frac{\sqrt{3-x}}{\ln(x-1)} 的定义域.

提示

注意根式、对数真数以及分母 ln(x1)0\ln(x-1) \neq 0 的多重约束.

答案

(1,2)(2,3](1, 2) \cup (2, 3]

详解

【解】 根据函数有意义的条件列出不等式组:

{3x0x1>0ln(x1)0x11\begin{cases} 3 - x \geqslant 0 \\ x - 1 > 0 \\ \ln(x-1) \neq 0 \Rightarrow x-1 \neq 1 \end{cases}

解得:

{x3x>1x2\begin{cases} x \leqslant 3 \\ x > 1 \\ x \neq 2 \end{cases}

综上, 定义域为 (1,2)(2,3](1, 2) \cup (2, 3].

[评注]

分母处若有 ln\ln \square, 容易漏掉 ln01\ln \square \neq 0 \Rightarrow \square \neq 1 这一条件.

三角函数

sinx,cosx,tanx\sin x, \cos x, \tan x; cotx=1tanx,secx=1cosx,cscx=1sinx\cot x = \frac{1}{\tan x}, \sec x = \frac{1}{\cos x}, \csc x = \frac{1}{\sin x}.

函数定义域值域奇偶性周期
sinx\sin x(,+)(-\infty, +\infty)[1,1][-1, 1]奇函数2π2\pi
cosx\cos x(,+)(-\infty, +\infty)[1,1][-1, 1]偶函数2π2\pi
tanx\tan x{xxkπ+π2}\{x \mid x \neq k\pi + \frac{\pi}{2}\}(,+)(-\infty, +\infty)奇函数π\pi
cotx\cot x{xxkπ}\{x \mid x \neq k\pi\}(,+)(-\infty, +\infty)奇函数π\pi
secx\sec x{xxkπ+π2}\{x \mid x \neq k\pi + \frac{\pi}{2}\}(,1][1,+)(-\infty, -1] \cup [1, +\infty)偶函数2π2\pi
cscx\csc x{xxkπ}\{x \mid x \neq k\pi\}(,1][1,+)(-\infty, -1] \cup [1, +\infty)奇函数2π2\pi

上述 kk 为整数.

三角恒等式:

sin2θ+cos2θ=1tan2θ+1=sec2θ1+cot2θ=csc2θ\begin{aligned} &\sin^2\theta+\cos^2\theta = 1\\ &\tan^2\theta+1 = \sec^2\theta\\ &1+\cot^2\theta = \csc^2\theta \end{aligned}

诱导公式:

sin(π2θ)=cosθcos(π2θ)=sinθsin(π2+θ)=cosθcos(π2+θ)=sinθsin(πθ)=sinθcos(πθ)=cosθsin(2πθ)=sinθcos(2πθ)=cosθtan(π2θ)=cotθtan(πθ)=tanθ\begin{array}{cc} \sin\biggl(\frac{\pi}{2}-\theta\biggr) = \cos\theta & \cos\left(\frac\pi2-\theta\right) = \sin\theta \\ \sin\biggl(\frac{\pi}{2}+\theta\biggr) = \cos\theta & \cos\left(\frac\pi2+\theta\right) = -\sin\theta \\ \sin(\pi-\theta) = \sin\theta &\cos(\pi-\theta) = -\cos\theta \\ \sin(2\pi-\theta) = -\sin\theta &\cos(2\pi-\theta) = \cos\theta\\ \tan\biggl(\frac{\pi}{2}-\theta\biggr) = \cot\theta & \tan(\pi-\theta) = -\tan\theta \end{array}

倍角公式:

sin2x=2sinxcosxcos2x=cos2xsin2x=2cos2x1=12sin2x\begin{aligned} \sin2x &= 2\sin x\cos x\\ \cos2x &= \cos^2x-\sin^2x = 2\cos^2x-1 = 1-2\sin^2x \end{aligned}

半角公式:

sin2x=1cos2x2cos2x=1+cos2x2\sin^2x = \frac{1-\cos2x}2\quad\cos^2x = \frac{1+\cos2x}2

和角公式:

sin(A+B)=sinAcosB+cosAsinBsin(AB)=sinAcosBcosAsinBcos(A+B)=cosAcosBsinAsinBcos(AB)=cosAcosB+sinAsinB\begin{aligned} \sin(A+B) &= \sin A \cos B + \cos A \sin B \\ \sin(A-B) &= \sin A \cos B - \cos A \sin B \\ \cos(A+B) &= \cos A \cos B - \sin A \sin B \\ \cos(A-B) &= \cos A \cos B + \sin A \sin B \end{aligned}

积化和差公式(了解):

sinAcosB=12[sin(A+B)+sin(AB)]sinAsinB=12[cos(AB)cos(A+B)]cosAcosB=12[cos(A+B)+cos(AB)]\begin{aligned} \sin A \cos B &= \frac{1}{2}[\sin(A+B) + \sin(A-B)]\\ \sin A \sin B &= \frac{1}{2}[\cos(A-B) - \cos(A+B)]\\ \cos A \cos B &= \frac{1}{2}[\cos(A+B) + \cos(A-B)] \end{aligned}

反三角函数

形式: y=arcsinx,y=arccosx,y=arctanx,y=arccotxy=\arcsin x, y=\arccos x, y=\arctan x, y=\operatorname{arccot} x.

  • y=arcsinxy=\arcsin x: 定义域 [1,1][-1, 1], 值域 [π2,π2]\left[-\frac{\pi}{2}, \frac{\pi}{2}\right], 单调递增, 奇函数.
  • y=arctanxy=\arctan x: 定义域 (,+)(-\infty, +\infty), 值域 (π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right), 单调递增, 奇函数.

【注】 arcsinx+arccosx=π2(1x1),arctanx+arccotx=π2\arcsin x+\arccos x=\frac{\pi}{2}(-1 \leqslant x \leqslant 1), \quad \arctan x+ \operatorname{arccot} x= \frac{\pi}{2}.

将三角函数式 sin4x\sin^4 x 降幂变形, 化为 cos\cos 一次方的形式.

提示

连续使用余弦的倍角公式(半角公式)进行降幂处理。

答案

3812cos2x+18cos4x\frac{3}{8} - \frac{1}{2}\cos 2x + \frac{1}{8}\cos 4x

详解

【解】 利用半角公式 sin2x=1cos2x2\sin^2 x = \frac{1-\cos 2x}{2} 进行二次降幂:

sin4x=(1cos2x2)2=14(12cos2x+cos22x)=14[12cos2x+1+cos4x2]=3812cos2x+18cos4x.\begin{aligned} \sin^4 x &= \left( \frac{1-\cos 2x}{2} \right)^2 \\ &= \frac{1}{4} \left( 1 - 2\cos 2x + \cos^2 2x \right) \\ &= \frac{1}{4} \left[ 1 - 2\cos 2x + \frac{1+\cos 4x}{2} \right] \\ &= \frac{3}{8} - \frac{1}{2}\cos 2x + \frac{1}{8}\cos 4x. \end{aligned}

利用二倍角公式化简三角表达式: 1cos2xsin2x\frac{1 - \cos 2x}{\sin 2x}.

提示

分子使用倍角公式 1cos2x=2sin2x1 - \cos 2x = 2\sin^2 x, 分母使用 sin2x=2sinxcosx\sin 2x = 2\sin x \cos x.

答案

tanx\tan x

详解

【解】 利用二倍角公式:

1cos2xsin2x=2sin2x2sinxcosx=sinxcosx=tanx\frac{1 - \cos 2x}{\sin 2x} = \frac{2\sin^2 x}{2\sin x \cos x} = \frac{\sin x}{\cos x} = \tan x

y=sinxcosxy = \sin x - \cos x 化为 Asin(x+φ)A\sin(x+\varphi) 的形式, 并指出其值域.

提示

利用和角公式.

答案

y=2sin(xπ4)y = \sqrt{2}\sin\left(x - \frac{\pi}{4}\right), 值域为 [2,2][-\sqrt{2}, \sqrt{2}]

详解

【解】 做恒等变形

y=2(22sinx22cosx)=2(sinxcosπ4cosxsinπ4)=2sin(xπ4).\begin{aligned} y &= \sqrt{2}\left( \frac{\sqrt{2}}{2}\sin x - \frac{\sqrt{2}}{2}\cos x \right) \\ &= \sqrt{2}\left( \sin x\cos\frac{\pi}{4} - \cos x\sin\frac{\pi}{4} \right) \\ &= \sqrt{2}\sin\left(x - \frac{\pi}{4}\right). \end{aligned}

由于 sin(xπ4)[1,1]\sin\left(x - \frac{\pi}{4}\right) \in [-1, 1], 故值域为 [2,2][-\sqrt{2}, \sqrt{2}].

计算 arcsin(12)+arctan(3)\arcsin\left(\frac{1}{2}\right) + \arctan\left(-\sqrt{3}\right) 的值.

答案

π6-\frac{\pi}{6}

详解

【解】 由于 sinπ6=12\sin\frac{\pi}{6} = \frac{1}{2}arcsin(12)=π6\arcsin\left(\frac{1}{2}\right) = \frac{\pi}{6}.

由于 tan(π3)=3\tan\left(-\frac{\pi}{3}\right) = -\sqrt{3}arctan(3)=π3\arctan\left(-\sqrt{3}\right) = -\frac{\pi}{3}.

球值得:

arcsin(12)+arctan(3)=π6π3=π6.\arcsin\left(\frac{1}{2}\right) + \arctan\left(-\sqrt{3}\right) = \frac{\pi}{6} - \frac{\pi}{3} = -\frac{\pi}{6}.

arcsin1+arctan1=\arcsin1 + \arctan 1= ______

答案

3π4\frac{3\pi}{4}

详解

【解】 由于 sinπ2=1\sin\frac{\pi}{2} = 1arcsin1=π2\arcsin 1= \frac{\pi}{2}.

由于 tan(π4)=1\tan\left(\frac{\pi}{4}\right) = 1arctan1=π4\arctan 1= \frac{\pi}{4}.

因此

arcsin1+arctan1=π2+π4=3π4.\arcsin 1 + \arctan 1= \frac{\pi}{2} + \frac{\pi}{4} = \frac{3\pi}{4}.

常见函数

复合函数

设有函数 y=f(u)y=f(u), 若 u=φ(x)u = \varphi(x),且 φ(x)\varphi(x) 的值域与 f(u)f(u) 的定义域的交集非空,则称函数

y=f[φ(x)]y = f[\varphi(x)]

为由 y=f(u)y=f(u)u=φ(x)u=\varphi(x) 复合而成的复合函数uu 称为中间变量).

已知 f(x2)=lnx+sinxf(x^2) = \ln x + \sin x, 求 f(x)f(x) 的表达式.

提示

利用换元法, 设中间变量为 tt, 注意自变量的取值范围.

答案

f(x)=12lnx+sinx(x>0)f(x) = \frac{1}{2}\ln x + \sin\sqrt{x} \quad (x > 0)

详解

【解】 由于对数函数要求真数大于 00, 故隐含条件为 x>0x > 0.

t=x2t = x^2, 由于 x>0x > 0, 可得 x=tx = \sqrt{t} (t>0t > 0). 代入原式得:

f(t)=lnt+sint=12lnt+sint(t>0).f(t) = \ln\sqrt{t} + \sin\sqrt{t} = \frac{1}{2}\ln t + \sin\sqrt{t} \quad (t > 0).

将变量字母替换为 xx, 得:

f(x)=12lnx+sinx(x>0).f(x) = \frac{1}{2}\ln x + \sin\sqrt{x} \quad (x > 0).
[评注]

题目原条件隐含了 x>0x>0, 在考研中遇到类似问题需优先判断定义域.

已知 f(x+1x)=x2+1x2f(x + \frac{1}{x}) = x^2 + \frac{1}{x^2} (x0x \neq 0), 求 f(x)f(x) 的表达式.

提示

利用配方法 x2+1x2=(x+1x)22x^2 + \frac{1}{x^2} = (x + \frac{1}{x})^2 - 2, 并注意新自变量的范围.

答案

f(x)=x22(x2)f(x) = x^2 - 2 \quad (|x| \geqslant 2)

详解

【解】 因为 x2+1x2=(x+1x)22x^2 + \frac{1}{x^2} = \left(x + \frac{1}{x}\right)^2 - 2.

t=x+1xt = x + \frac{1}{x}.

x>0x > 0 时,由均值不等式有 t=x+1x2x1x=2t = x + \frac{1}{x} \geqslant 2 \sqrt{x \cdot \frac{1}{x}} = 2(当且仅当 x=1x=1 时等号成立);

同理,当 x<0x < 0 时,x>0-x > 0,则 t=(x)+1x2    t2-t = (-x) + \frac{1}{-x} \geqslant 2 \implies t \leqslant -2.

因此,中间变量 tt 的取值范围(即新函数的定义域)为 t2|t| \geqslant 2.

代入原式得:

f(t)=t22,(t2)f(t) = t^2 - 2, \quad (|t| \geqslant 2)

将变量字母改写为 xx, 得:

f(x)=x22,(x2)f(x) = x^2 - 2, \quad (|x| \geqslant 2)
[评注]

由完全平方公式 (ab)20(\sqrt{a} - \sqrt{b})^2 \geqslant 0 展开即可得到 a+b2aba + b \geqslant 2\sqrt{ab} 这就是均值不等式.

x+1xx + \frac{1}{x} 的值域限制了新函数 f(t)f(t) 的定义域.

初等函数

由基本初等函数经过有限次四则运算和复合所构成的用一个表达式表示的函数称为初等函数.

分段函数

在自变量的不同变化范围内用不同表达式表示的函数称为分段函数.

常见的分段函数有:

(1) 绝对值函数 y=x={x,x0,x,x<0y=|x|= \begin{cases}x, & x \geqslant 0, \\ -x, & x<0\end{cases}

(2) 最大值、最小值函数 y=max{f(x),g(x)},y=min{f(x),g(x)}y=\max \{f(x), g(x)\}, y=\min \{f(x), g(x)\}.

(3) 取整函数 y=[x]y=[x] (表示不超过 xx 的最大整数), 在 xx 为整数时分段. 性质: x1<[x]xx-1<[x] \leqslant x.

反函数

若函数 ff 在定义域 DD 与值域 RR 之间建立了一个一一对应. 那么称其逆映射

f1:RDf^{-1}:R \rightarrow D

构成的函数为 ff反函数.

函数 ff 与反函数 f1f^{-1} 之间的联系是, 如果 y=f(x)y=f(x), 则有 x=f1(y)x=f^{-1}(y).

反函数具有如下性质:

f[f1(y)]=f(x)=y,f1[f(x)]=f1(y)=x.\begin{aligned} f [f^{-1}(y)] &= f(x) = y, \\ f^{-1} [ f(x)] &= f^{-1}(y) = x . \end{aligned}

在几何图像上, 函数 y=f(x)y=f(x) 与反函数 y=f1(x)y=f^{-1}(x) 的图像关于直线 y=xy=x 对称.

写出 y=exy=\mathrm{e}^xy=sinx(x[π2,π2])y=\sin{x}\left(x\in{\left[-\frac{\pi}{2}, \frac{\pi}{2}\right]}\right) 的反函数.

答案

(i) y=lnx(x>0)y = \ln x \quad (x > 0) (ii) y=arcsinx(x[1,1])y = \arcsin x \quad (x \in [-1, 1])

详解

【解】 (i) y=exx=lnyy = \mathrm{e}^x \Rightarrow x = \ln y. 交换变量得 y=lnxy = \ln x, 定义域为 (0,+)(0, +\infty).

(ii) y=sinx,x[π2,π2]x=arcsinyy = \sin x, x \in [-\frac{\pi}{2}, \frac{\pi}{2}] \Rightarrow x = \arcsin y. 交换变量得 y=arcsinxy = \arcsin x, 定义域为 [1,1][-1, 1].

[评注]

三角函数必须在单调区间内讨论反函数, 否则不满足一一对应.

求函数 y=2x+1x1y = \frac{2x+1}{x-1} 的反函数.

提示

求反函数的基本步骤是由方程反解出 xx, 随后互换 xxyy, 并明确反函数的定义域(即原函数的值域).

答案

y=x+1x2(x2)y = \frac{x+1}{x-2} \quad (x \neq 2)

详解

【解】 由原函数 y=2x+1x1y = \frac{2x+1}{x-1}y(x1)=2x+1y(x-1) = 2x+1.

移项并提取公因式, 有 (y2)x=y+1(y-2)x = y+1, 得

x=y+1y2.x = \frac{y+1}{y-2}.

x,yx, y 互换位置, 得到所求的反函数为

y=x+1x2(x2).y = \frac{x+1}{x-2} \quad (x \neq 2).

求函数 y=ln(x+x2+1)y=\ln\left(x+\sqrt{x^{2}+1}\right) 的反函数.

提示

利用有理化 (x+x2+1)(x+x2+1)=1(x+\sqrt{x^2+1})(-x+\sqrt{x^2+1})=1 的技巧简化计算.

答案

y=exex2(xR)y = \frac{\mathrm{e}^{x} - \mathrm{e}^{-x}}{2} \quad (x \in \mathbb{R})

详解

【解】 由原函数 y=ln(x+x2+1)y = \ln\left(x + \sqrt{x^{2} + 1}\right), 两边取指数得:

ey=x+x2+1—— (1)\mathrm{e}^{y} = x + \sqrt{x^{2} + 1} \quad \text{—— (1)}

为了消去根号, 考虑利用共轭关系. 由于 (x2+1+x)(x2+1x)=(x2+1)x2=1(\sqrt{x^2+1} + x)(\sqrt{x^2+1} - x) = (x^2+1) - x^2 = 1, 将等式 (1) 两边取倒数, 得:

1ey=ey=1x2+1+x=x2+1x—— (2)\frac{1}{\mathrm{e}^{y}} = \mathrm{e}^{-y} = \frac{1}{\sqrt{x^2+1} + x} = \sqrt{x^{2} + 1} - x \quad \text{—— (2)}

将式 (1) 减去式 (2):

eyey=(x+x2+1)(x2+1x)=2x\mathrm{e}^{y} - \mathrm{e}^{-y} = (x + \sqrt{x^{2} + 1}) - (\sqrt{x^{2} + 1} - x) = 2x

从而解得:

x=eyey2x = \frac{\mathrm{e}^{y} - \mathrm{e}^{-y}}{2}

改写变量 , 得到反函数解析式:

y=exex2(xR).y = \frac{\mathrm{e}^{x} - \mathrm{e}^{-x}}{2} \quad (x \in \mathbb{R}).

函数的性质

有界性

设函数 y=f(x)y=f(x) 在区间 II 上有定义, 若存在 M>0M>0, 使得对任意的 xIx \in I 都有 f(x)M|f(x)| \leqslant M, 则称 f(x)f(x) 在区间 II 上是有界的. 否则, 称 f(x)f(x) 在该区间上无界.

奇偶性

设函数 f(x)f(x) 在关于原点对称的区间 II 上有定义, 若对任意 xIx \in I, 都有

f(x)=f(x),f(-x) = -f(x),

则称 f(x)f(x)II 上是奇函数;

若对任意 xIx \in I, 都有

f(x)=f(x),f(-x) = f(x),

则称 f(x)f(x)II 上是偶函数.

【注】 奇函数的图形关于原点对称, 偶函数的图形关于 yy 轴对称.

除了关于 yy 轴对称, 如果一个函数 f(x)f(x) 关于直线 x=ax=a 对称, 则可以表示成 f(a+x)=f(ax)f(a+x) = f(a-x).

判断下列函数的奇偶性:

(1) f(x)=xsinxcosxf(x) = \frac{x \sin x}{\cos x};

(2) f(x)=ln(x+x2+1)f(x) = \ln \left(x+\sqrt{x^{2}+1}\right).

提示

判断奇偶性应首先考察定义域是否关于原点对称, 随后计算 f(x)f(-x) 并考察其与 f(x)f(x) 的代数关系. 对于对数形式的函数, 常通过 f(x)+f(x)=0f(x)+f(-x)=0f(x)f(x)=1f(x)f(-x)=1 (针对部分特殊构造) 来判定.

答案

(1) 偶函数 (2) 奇函数

详解

【解】 (i) 对于 f(x)=xsinxcosxf(x) = \frac{x \sin x}{\cos x}, 其定义域为 {xxkπ+π2,kZ}\{x \mid x \neq k\pi + \frac{\pi}{2}, k \in \mathbb{Z}\}, 关于原点对称.

由于

f(x)=(x)sin(x)cos(x)=(x)(sinx)cosx=xsinxcosx=f(x)f(-x) = \frac{(-x) \sin(-x)}{\cos(-x)} = \frac{(-x)(-\sin x)}{\cos x} = \frac{x \sin x}{\cos x} = f(x)

f(x)f(x) 为偶函数.

(ii) 对于 f(x)=ln(x+x2+1)f(x) = \ln \left(x+\sqrt{x^{2}+1}\right), 定义域为 R\mathbb{R}, 关于原点对称.

由于

f(x)+f(x)=ln(x2+1+x)+ln(x2+1x)=ln[(x2+1+x)(x2+1x)]=ln(x2+1x2)=ln1=0\begin{aligned} f(x) + f(-x) &= \ln \left(\sqrt{x^2+1} + x\right) + \ln \left(\sqrt{x^2+1} - x\right) \\ &= \ln \left[\left(\sqrt{x^2+1} + x\right)\left(\sqrt{x^2+1} - x\right)\right] \\ &= \ln \left(x^2+1 - x^2\right) = \ln 1 = 0 \end{aligned}

f(x)=f(x)f(-x) = -f(x), 故 f(x)f(x) 为奇函数.

已知 f(x)f(x) 为奇函数, 则 xf(x)xf(x) 为 ______; f(x2)f(-x^2) 为 ______.

提示

利用定义法, 记 g(x)=xf(x)g(x) = xf(x), 考查 g(x)g(-x).

答案

偶函数; 偶函数

详解

【解】 (i) 令 g(x)=xf(x)g(x) = xf(x), 则 g(x)=(x)f(x)=(x)(f(x))=xf(x)=g(x)g(-x) = (-x)f(-x) = (-x)(-f(x)) = xf(x) = g(x), 为偶函数.

(ii) 令 h(x)=f(x2)h(x) = f(-x^2), 则 h(x)=f((x)2)=f(x2)=h(x)h(-x) = f(-(-x)^2) = f(-x^2) = h(x), 为偶函数.

周期性

f(x)f(x) 在区间 II 上有定义, 如果存在常数 T0T \neq 0, 使得对任意的 xIx \in I, 都有 x+TIx+T \in I

f(x+T)=f(x),f(x+T) = f(x),

则称 f(x)f(x) 是以 TT 为周期的周期函数.

【注】 周期函数的周期有无数个, 通常函数的周期指最小正周期.

单调性

f(x)f(x) 在区间 II 上有定义.

若对 II 上任意的 x1<x2x_{1}<x_{2}, 都有 f(x1)f(x2)f\left(x_{1}\right)\leqslant f\left(x_{2}\right), 则称 f(x)f(x)II单调递增;

f(x1)<f(x2)f\left(x_{1}\right)<f\left(x_{2}\right) 则称 f(x)f(x)II严格单调递增. 单调递减的定义也是类似的.

证明函数 f(x)=x3f(x) = x^3(,+)(-\infty, +\infty) 上是严格单调递增的.

提示

利用立方差公式 a3b3=(ab)(a2+ab+b2)a^3 - b^3 = (a-b)(a^2 + ab + b^2) 进行因式分解判定符号.

详解

【证明】 对于任意的实数 x1<x2x_1 < x_2,

f(x1)f(x2)=x13x23=(x1x2)(x12+x1x2+x22)f(x_1) - f(x_2) = x_1^3 - x_2^3 = (x_1 - x_2)(x_1^2 + x_1 x_2 + x_2^2)

对后半部分配方可得: x12+x1x2+x22=(x1+12x2)2+34x22x_1^2 + x_1 x_2 + x_2^2 = \left(x_1 + \frac{1}{2}x_2\right)^2 + \frac{3}{4}x_2^2, 因为 x1<x2x_1 < x_2, 故该部分恒大于 0.

从而 f(x1)<f(x2)f(x_1) < f(x_2). 根据定义, 函数 f(x)=x3f(x) = x^3R\mathbb{R} 上严格单调递增.